independence-friendly logic (IF logic)
Independence-friendly logic - Wikipedia
Independence Friendly Logic (Stanford Encyclopedia of Philosophy)
二階述語論理の斷片である existential second-order logic と同等
cf.
高階述語論理
合成的意味論 (compositional semantics)
不完全情報を持つ
game 意味論 (GTS)